ロック両立性行列 compatibility matrix - 角待ちは対空@scrapbox

ロック両立性行列 compatibility matrix

table:t

lock -

lock 偽真

- 真真

共有ロック Shared Locksと排他ロック Exclusive Locksを導入した場合

table:t

共有排他 -

共有偽偽真

排他偽真真

- 真真真

compatibility function

インテントロック intent lockを導入

table:ロックの両立性

None S X IS IX

S 真真偽真真

X 真偽偽偽偽

IS 真真偽真真

IX 真偽偽真真

複数粒度ロック MGW(Multiple Granularity Locking)

ロックの制約に従ったヒストリ history(スケジュール schedule)